Sample records for PROGRAMMIERSPRACHEN (programming languages)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

Albert, Elvira; Gómez-Zamalloa, Miguel; Hubert, Laurent; Puebla, German

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis t...

DRIVER (German)

4

The SLam Calculus: Programming with Secrecy and Integrity

Heintze, N.; Riecke, J. G.; Association for Computing Machinery; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

5

The Functional Imperative: Shape!

Jay, C. B.; Steckler, P. A.; University of Lisbon; Department of Informatics
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

6

Systematic Change of Data Representation: Program Manipulations and a Case Study

Scherlis, W. L.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

12

Security Properties of Typed Applets

Leroy, X.; Rouaix, F.; Association for Computing Machinery; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

13

Search and Imperative Programming

Apt, K. R.; Schaerf, A.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

14

Safe Metaclass Programming

Bouraqadi-Saadani, N. M. N.; Ledoux, T.; Rivard, F.
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

18

Recursive Object Types in a Logic of Object-Oriented Programs

Leino, K. R. M.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

21

Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : July 11 - 13, 2005, Lisbon, Portugal

Conference on Principles and Practice of Declarative Programming < 7, 2005, Lisboa>; Association for Computing Machinery / Special Interest Group on Programming Languages
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

22

Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : San Francisco, California, USA, January 7 - 12, 2008

Symposium on Principles of Programming Languages < 35, 2008, San Francisco, Calif.>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Automata and Computability Theory
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

23

Proceedings of the 1986 ACM Conference on Lisp and Functional Programming : papers presented at the conference Cambridge, Massachusetts, August 4 - 6, 1986

Conference on Lisp and Functional Programming < 1986, Cambridge, Mass.>; Association for Computing Machinery / Special Interest Group on Programming Languages
1986-01-01

German National Library of Science and Technology (GetInfo) (German)

24

Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, October 18 - 22, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire

Conference on Functional Programming Languages and Computer Architecture < 1981, Wentworth-by-the-Sea; Portsmouth, NH>; Association for Computing Machinery / Special Interest Group on Programming Languages
1981-01-01

German National Library of Science and Technology (GetInfo) (German)

27

PolyP - a Polytypic Programming Language Extension

Jansson, P.; Jeuring, J.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

36

Model Checking for Programming Languages using VeriSoft

Godefroid, P.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

37

Mode-Automata: About Modes and States for Reactive Systems

Maraninchi, F.; Remond, Y.; University of Lisbon; Department of Informatics
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

41

Isolating Side Effects in Sequential Languages

Riecke, J. G.; Viswanathan, R.; Association for Computing Machinery
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

43

Integrated Data, Message, and Process Recovery for Failure Masking in Web Services

Shegalov, German

Modern Web Services applications encompass multiple distributed interacting components, possibly including millions of lines of code written in different programming languages. With this complexity, some bugs often remain undetected despite extensive testing procedures, and occasionally cause transi...

DRIVER (German)

44

History of programming languages II : [Second ACM SIGPLAN History of Programming Languages Conference (HOPL-II), April 20 - 23, 1993, Cambridge, Massachusetts]

History of Programming Languages Conference < 2, 1993, Cambridge, Mass.>; Association for Computing Machinery / Special Interest Group on Programming Languages
1996-01-01

German National Library of Science and Technology (GetInfo) (German)

45

Higher-Order Equational Logic Programming

Qian, Z.; Association for Computing Machinery; Special Interest Group on Automata and Computability Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

46

From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages

Sands, D.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

47

From Classes to Objects via Subtyping

Remy, D.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

48

FPCA '93 : Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9 - 11 June 1993

FPCA < 6, 1993, København>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Computer Architecture
1993-01-01

German National Library of Science and Technology (GetInfo) (German)

51

Data Distribution Algebras - A Formal Basis for Programming Using Skeletons

Suedholt, M.; IFIP; Technical Committee 2; WG 2.1 on Algorithmic Languages and Calculi; WG 2.2 on Formal Description of Programming Concepts; WG 2.3 on Programming Methodology
1994-01-01

German National Library of Science and Technology (GetInfo) (German)

53

Conference record of the Ninteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19 - 22, 1992

Symposium on Principles of Programming Languages < 19, 1992, Albuquerque, NM>; Association for Computing Machinery / Special Interest Group on Algorithms and Computation Theory; Association for Computing Machinery / Special Interest Group on Programming Languages
1992-01-01

German National Library of Science and Technology (GetInfo) (German)

54

Conference record of POPL 2007 : the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium, January 17 - 19, 2007 ; French Riviera, Nice, France

Symposium on Principles of Programming Languages < 34, 2007, Nice>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Automata and Computability Theory
2007-01-01

German National Library of Science and Technology (GetInfo) (German)

55

Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium, January 11 - 13, 2006 ; Charleston, South Carolina, USA

Symposium on Principles of Programming Languages < 33, 2006, Charleston, SC>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Automata and Computability Theory
2006-01-01

German National Library of Science and Technology (GetInfo) (German)

56

Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium, January 12 - 14, 2005, Long Beach, California, USA ; [The POPL Conference ...]

Symposium on Principles of Programming Languages < 32, 2005, Long Beach, Calif.>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Automata and Computability Theory
2005-01-01

German National Library of Science and Technology (GetInfo) (German)

57

Conference record of POPL 2004 : the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium, Venice, Italy, January 14 - 16, 2004 ; [The POPL Conference ...]

Symposium on Principles of Programming Languages < 31, 2004, Venezia>; Association for Computing Machinery / Special Interest Group on Programming Languages; Association for Computing Machinery / Special Interest Group on Automata and Computability Theory
2004-01-01

German National Library of Science and Technology (GetInfo) (German)

58

Conference record of POPL 2002: the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; Portland, Oregon, 16 - 18 January 2002

Symposium on Principles of Programming Languages < 29, 2002, Portland, Or.>; Association for Computing Machinery / Special Interest Group on Algorithms and Computation Theory; Association for Computing Machinery / Special Interest Group on Programming Languages
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

59

Conference record of POPL 2001: the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, the Royal Society, London, 17 - 19 January 2001

Symposium on Principles of Programming Languages < 28, 2001, London>; Association for Computing Machinery / Special Interest Group on Algorithms and Computation Theory; Association for Computing Machinery / Special Interest Group on Programming Languages
2001-01-01

German National Library of Science and Technology (GetInfo) (German)

63

Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)

Smolka, G.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

65

Compatible Genericity with Run-time Types for the Java[TM] Programming Language

Cartwright, R.; Steele, G. L.; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

70
90

ASPLOS-X proceedings - Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, San José, California, October 5-9, 2002. Sponsored by: SIGARCH, SIGOPS, SIGPLAN

International Conference on Architectural Support for Programming Languages and Operating Systems < 10, 2002, San José, Calif.>; Association for Computing Machinery / Special Interest Group on Computer Architecture; Association for Computing Machinery / Special Interest Group on Operating Systems
2002-01-01

German National Library of Science and Technology (GetInfo) (German)

91

ASPLOS XI : Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems, October 9-13, 2004, Boston, Massachusetts

International Conference on Architectural Support for Programming Languages and Operating Systems < 11, 2004, Boston, Mass.>; Association for Computing Machinery / Special Interest Group on Computer Architecture; Association for Computing Machinery / Special Interest Group on Operating Systems
2004-01-01

German National Library of Science and Technology (GetInfo) (German)

93

A Unified Computation Model for Functional and Logic Programming

Hanus, M.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

95

A Practical and Flexible Flow Analysis for Higher-Order Languages

Ashley, J. M.; Association for Computing Machinery; Special Interest Group on Algorithms and Computation Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1996-01-01

German National Library of Science and Technology (GetInfo) (German)

97

A Generic Framework for Specialization (Abridged Version)

Thiemann, P.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

99

A Framework for Run-Time Systems and its Visual Programming Language

Durham, A. M.; Johnson, R. E.; ACM; Special Interest Group on Programming Languages
1996-01-01

German National Library of Science and Technology (GetInfo) (German)

100

A Complete Declarative Debugger of Missing Answers

Ruggieri, S.; University of Lisbon; Department of Informatics; ACM; Special Interest Group on Programming Languages
1998-01-01

German National Library of Science and Technology (GetInfo) (German)